Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
21	Electronic Journal of Differential Equations, Monograph 09, 2009, (90 pages). ISSN: URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) THE CONTRACTION MAPPING Add to Reading List Source URL: ejde.math.unt.edu Language: English - Date: 2016-04-22 14:45:19 Mathematics Mathematical analysis Geometry Metric geometry Banach space Complete metric space Metric space Banach fixed-point theorem Normed vector space Vector space Contraction mapping Hilbert space
22	1049 Documenta Math. A Lefschetz Fixed Point Formula for Singular Arithmetic Schemes Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-12-30 05:23:37 Mathematics Topology Mathematical analysis Differential geometry Connection Operator theory Equivariant sheaf ChernWeil homomorphism Cohomology Lefschetz fixed-point theorem Vector bundle Contraction
23	Introduction to the GNU MPFR Library Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Computing Software Computer programming GNU MPFR Paul Zimmermann GNU Multiple Precision Arithmetic Library Rounding Fixed-point arithmetic GNU Compiler Collection IEEE floating point Double-precision floating-point format
24	Spectral Graph Theory Lecture 20 The Second Eigenvalue of Planar Graphs Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-11-11 11:13:23 Mathematics Graph theory Mathematical analysis Conformal mapping Projective geometry Planar graph Riemann surfaces Complex analysis Operator theory Differential geometry of surfaces Stereographic projection Brouwer fixed-point theorem
25	Fast Reproducible Floating-Point Summation James Demmel, Hong Diep Nguyen ParLab - EECS - UC Berkeley ARITH 21 April 7-10, 2013 Add to Reading List Source URL: bebop.cs.berkeley.edu Language: English - Date: 2013-11-23 11:48:09 Computer arithmetic Computing Fixed-point arithmetic Multiplyaccumulate operation Precision Rounding FLOPS 128-bit Machine epsilon IEEE floating point
26	Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-04 08:44:50 Mathematics Order theory Algebra Abstract algebra Abstract interpretation Galois connection Fixed-point theorem Fixed point FO Complete lattice Lattice Monotonic function
27	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
28	Lineare Algebra: Endliche Arithmetik Dominik Honegger, Dezember 2015 Dominik Honegger \| Add to Reading List Source URL: cvg.ethz.ch Language: English - Date: 2015-12-18 04:26:46 Computer arithmetic Mathematics Classical music Fixed-point arithmetic Integer Q Honegger Floating point
29	Efficient Reproducible Floating-Point Reduction Operations on Large Scale Systems James Demmel, Hong Diep Nguyen ParLab - EECS - UC Berkeley SIAM AN13 Jul 8-12, 2013 Add to Reading List Source URL: bebop.cs.berkeley.edu Language: English - Date: 2013-11-23 11:48:10 Computer arithmetic Computing Arithmetic Fixed-point arithmetic Precision Multiplyaccumulate operation Rounding FLOPS 128-bit
30	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator